$\vdash$  $\forall$$T$:Type, $L_{1}$, $L_{2}$:($T$ List). fseg($T$;$L_{1}$;$L_{2}$) $\in$ $\mathbb{P}$